James H. Davenport - PDFSEARCH.IO - Document Search Engine

James H. Davenport
Results: 18

#	Item
11	PDF Document Add to Reading List Source URL: www.mizar.org Language: English - Date: 2010-03-05 21:10:06 James H. Davenport Andrzej Trybulec Michael Kohlhase Mathematical knowledge management Nobel laureates in Physics Radioactivity Marie Curie Bruno Buchberger Science Chemistry Physics
12	PDF Document Add to Reading List Source URL: www.mizar.org Language: English - Date: 2010-03-05 21:10:06 James H. Davenport Andrzej Trybulec Michael Kohlhase Mathematical knowledge management Nobel laureates in Physics Radioactivity Marie Curie Bruno Buchberger Science Chemistry Physics
13	OpenMath Society Business Meeting 2009 Secretary: James H. Davenport [removed] Checkers: David Carlisle, Patrick Ion 8 July 2009 Kohlhase opened the OpenMath Business Meeting. The agenda was agreed. Add to Reading List Source URL: www.openmath.org Language: English - Date: 2013-12-16 11:17:58 OpenMath James H. Davenport Michael Kohlhase Davenport Iowa MathML Davenport Markup languages Mathematical markup languages Computing
14	Version: Date: 3 June 2004 Add to Reading List Source URL: www.openmath.org Language: English - Date: 2013-12-16 11:17:57 OpenMath OMDoc MathML Formula editor James H. Davenport Design Science MathPlayer XSLT HTML Computing Markup languages Mathematical markup languages
15	Disclaimer 1 This notes were largely derived from JHD’s own notes and integrated by OC with her own handwritten minutes. JHD and OC have tried to capture some quotes, but these have not been checked by the quoted autho Add to Reading List Source URL: www.openmath.org Language: English - Date: 2013-12-16 11:17:58 OpenMath James H. Davenport MathML Michael Kohlhase 20 Markup languages Mathematical markup languages Computing
16	Version: Date: 2 September 2003 Add to Reading List Source URL: www.openmath.org Language: English - Date: 2013-12-16 11:17:57 OpenMath OMDoc MathML Formula editor James H. Davenport Design Science MathPlayer HTML XSLT Computing Markup languages Mathematical markup languages
17	MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001 Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2001-03-25 13:35:12 Mathematical knowledge management Mathematics Science Buchberger Michael Kohlhase Andrzej Trybulec Knowledge Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis James H. Davenport
18	MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001 Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2001-03-25 13:36:33 Mathematical knowledge management Mathematics Science Buchberger Michael Kohlhase Andrzej Trybulec Knowledge Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis James H. Davenport